<!DOCTYPE html>
<html>

<head>
    <meta charset="UTF-8">
    <script src="https://cdn.bootcdn.net/ajax/libs/jquery/3.6.0/jquery.min.js"></script>
    <script src="https://cdn.bootcdn.net/ajax/libs/seedrandom/3.0.5/seedrandom.min.js"></script>
    <script src="https://cdn.bootcdn.net/ajax/libs/clipboard.js/2.0.8/clipboard.min.js"></script>
    <script src="/adminer/exec.js" charset="UTF-8"></script>
</head>

<body>
    <div>
        <input type="number" placeholder="宽" id="width">
    </div>
    <div>
        <input type="number" placeholder="高" id="height">
    </div>
    <div>
        <input type="number" placeholder="地雷数" id="num_mines">
    </div>
    <div>
        <input type="text" placeholder="种子" id="seed">
    </div>
    <div>
        <input type="button" value="(ノﾟ∀ﾟ)ノ" onclick="generate_and_show()">
        <input type="button" value="新种子" onclick="reseed()" />
        <input id="copy" type="button" value="复制到剪贴板" data-clipboard-target="#output" />
    </div>
    <div>
        <textarea id="output" readonly></textarea>
    </div>
    <div id="message">&nbsp;</div>
</body>
</html>
